technology
 from seed" Highly parallel programming with Transactional Memory Ricardo Filipe

Source URL: www.gsd.inesc-id.pt

Rand-array-sim-M1000-detail.eps

Source URL: www.eecs.harvard.edu

• Transaction processing
• Computing
• Concurrency control
• Software
• Data management
• Software transactional memory
• Transactional memory
• Linearizability
• Lock
• Extensible Storage Engine
• Database transaction

Transactional IPC in Fiasco.OC Can we get the multicore case verified for free? Till Smejkal, Adam Lackorzynski, Benjamin Engel and Marcus Völp Operating Systems Group Technische Universität Dresden, Germany

Source URL: www.mpi-sws.org

• Computing
• Computer architecture
• Concurrency control
• Software
• Transaction processing
• Transactional memory
• Microkernel
• Software transactional memory
• Transactional Synchronization Extensions
• L4 microkernel family
• Rock
• Mach

On the Natural Degree of Parallelism in Transactional Memory: from Centralized to Distributed Architectures D. Didona1 , P. Felber2 , D. Harmanci2 , P. Romano1 , J. Schenker2 Euro-TM Workshop on Transactional Memory (WTM

Source URL: www.gsd.inesc-id.pt

• Computing
• Parallel computing
• Analysis of parallel algorithms
• Computer architecture
• Standard deviation
• Speedup
• Thread
• Concurrency control
• Deviation
• Parallelism
• Scalability

The Push/Pull Model of Transactions Eric Koskinen ∗ Matthew Parkinson IBM TJ Watson Research Center, USA

Source URL: researcher.watson.ibm.com

• Transaction processing
• Computing
• Data management
• Data
• Concurrency control
• Databases
• Software transactional memory
• Serializability
• Schedule
• Isolation
• Database transaction
• Linearizability

Microsoft Word - MEDEA2008-cfp_allineato.doc

Source URL: garga.iet.unipi.it

• Computing
• Concurrent computing
• Parallel computing
• Computer memory
• Computer architecture
• Microprocessors
• Electronic design automation
• Network on a chip
• Transactional memory
• Multi-core processor
• Very long instruction word
• Multiprocessing

Lock-free programming for the masses KC Sivaramakrishnan University of Cambridge Efficient concurrent programming libraries are essential for taking advantage of fine-grained parallelism on multicore hardware. We present

Source URL: kcsrk.info

• Concurrency control
• Computing
• Software engineering
• Computer programming
• Transaction processing
• Software design patterns
• Functional languages
• Data management
• Software transactional memory
• Treiber Stack
• Lock
• OCaml

PLACES 22nd March 2009 Programming Language Approaches to Concurrency and Communication-cEntric Software is a workshop at ETAPS 2009, York, England

Source URL: places09.di.fc.ul.pt

• Concurrency control
• Parallel computing
• Concurrent computing
• Transaction processing
• Central processing unit
• Thread
• Monitor
• Software transactional memory
• Multi-core processor
• Lock
• Transactional memory
• Instruction set

2 TM C: a Software Transactional Memory for Many-Cores Vasileios Trigonakis

Source URL: www.gsd.inesc-id.pt

• Concurrency control
• Transaction processing
• Transactional memory
• Programming language implementation
• Software transactional memory
• Computer memory
• Non-blocking algorithm
• Liveness
• Multi-core processor

Semantically Enhanced Containers for Concurrent Real-Time Systems Damian Dechev1 , Peter Pirkelbauer1 , Nicolas Rouquette2 , and Bjarne Stroustrup1 , , .

Source URL: pirkelbauer.com

• Concurrency control
• Software transactional memory
• Compare-and-swap
• Non-blocking algorithm
• ABA problem
• Monitor
• Hazard pointer
• Lock
• Load-link/store-conditional
• Linearizability
• Mutual exclusion
• Thread safety